$\forall$${\it es}$:ES, $e$, ${\it e'}$:E. $e$ $\leq$ ${\it e'}$  $\Leftrightarrow$ 0$<\parallel$[$e$, ${\it e'}$]$\parallel$